A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming

Mainstream object-oriented programming (OOP) languages such as Java, C#, C++ and Scala are all almost entirely nominally-typed. NOOP is a recently developed domain-theoretic model of OOP that was designed to fully include nominal information found in nominally-typed OOP. This paper compares NOOP to the most widely known domain-theoretic models of OOP, namely, the models developed by Cardelli and Cook, which were structurally-typed models. The comparison provides a mathematical account for the relation between nominal and structural OO languages and nominal and structural OO type systems.